include cmdline.e namespace cmdline public constant MANDATORY
This option switch must be supplied on command line. See cmd_parse